Domain theory

Results: 638



#Item
301General topology / Order theory / Complete partial order / Cartesian closed category / Domain theory / Open set / Continuous function / Filter / Chu space / Topology / Mathematics / Category theory

Electronic Notes in Theoretical Computer Science 82 No[removed]URL: http://www.elsevier.nl/locate/entcs/volume82.html 11 pages Comonoids in chu: a large cartesian closed sibling of topological spaces Vaughan R. Pratt1

Add to Reading List

Source URL: boole.stanford.edu

Language: English - Date: 2007-02-14 16:32:03
302Electronic engineering / Control theory / Electronic design / Analog circuits / Bode plot / Amplifiers / Frequency response / Step response / Electrical engineering / Electronics / Signal processing

ECE-320 Linear Control Systems Laboratory 2 Frequency domain methods for estimating ωn and ζ In this Lab you will first obtain a second order model of your spring/mass/damper system using the log-decrement method. Then

Add to Reading List

Source URL: www.rose-hulman.edu

Language: English - Date: 2004-05-28 15:12:38
303Ring theory / Commutative algebra / Algebraic number theory / Linear algebra / Quadratic forms / Euclidean domain / Euclidean algorithm / Dedekind domain / Norm / Abstract algebra / Algebra / Mathematics

EUCLIDEAN QUADRATIC FORMS AND ADC-FORMS: I PETE L. CLARK We denote by N the non-negative integers (including 0). Throughout R will denote a commutative, unital integral domain and K its fraction field. We write R• for

Add to Reading List

Source URL: math.uga.edu

Language: English - Date: 2012-08-06 06:09:32
304Recursion / Constructible universe / Forcing / Fixed-point combinator / Μ operator / Linear temporal logic / Mathematical logic / Theoretical computer science / Mathematics

First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal 1 Rasmus Ejlers Møgelberg 1 Kristian Støvring 2 Jan Schwinghammer 3 1 IT

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2011-07-19 16:17:18
305New College of California / California / Anarchist theory / Neologisms / Netwar

Netwar at New College By Jay Taber The afternoon of Friday the 13th of July 2007, I phoned my associate Mark Gould in Haight-Ashbury to see how he was doing with the Public Good Project domain transfer he was facilitatin

Add to Reading List

Source URL: publicgood.org

Language: English - Date: 2014-01-09 13:45:25
306Linear algebra / Quadratic forms / Ring theory / Algebraic number theory / Real algebraic geometry / Euclidean domain / Quadratic polynomial / Algebraic number field / Quadratic equation / Algebra / Abstract algebra / Mathematics

EUCLIDEAN QUADRATIC FORMS AND ADC-EXTENSIONS PETE L. CLARK Abstract. A classical result, often called the Davenport-Cassels Theorem, gives a sufficient condition for an integral quadratic form to integrally represent eve

Add to Reading List

Source URL: www.math.uga.edu

Language: English - Date: 2010-09-06 04:13:12
307Physics / Electronic engineering / Analog circuits / Amplifiers / Electronic design / Damping / Step response / Overshoot / Partition coefficient / Ordinary differential equations / Electronics / Control theory

ECE-320 Linear Control Systems Laboratory 1 Time domain methods for estimating ωn and ζ In this lab we will practice making second order models in a couple of different ways, and then comparing the models with the real

Add to Reading List

Source URL: www.rose-hulman.edu

Language: English - Date: 2004-05-28 14:49:34
308Game theory / Network flow / Auctioneering / Networks / NP-complete problems / Vertex cover / Maximum flow problem / Vickrey–Clarke–Groves auction / Strategyproof / Graph theory / Mathematics / Theoretical computer science

Achieving Allocatively-Efficient and Strongly Budget-Balanced Mechanisms in the Network Flow Domain for Bounded-Rational Agents Yoram Bachrach and Jeffrey S. Rosenschein {yori, jeff}@cs.huji.ac.il School of Engineering a

Add to Reading List

Source URL: www.ijcai.org

Language: English - Date: 2005-07-11 16:49:14
309Ring theory / Valuation ring / Commutative ring / Polynomial ring / Ring / Prime ideal / Ideal / Krull dimension / Integral domain / Abstract algebra / Algebra / Commutative algebra

Various Facets of Rings between D[X] and K[X] Muhammad Zafrullah Department of Mathematics, Idaho State University, Pocatello, ID[removed]E-mail: [removed]

Add to Reading List

Source URL: www.lohar.com

Language: English - Date: 2005-12-29 21:29:43
310Irreducible component / Ideal / Unique factorization domain / Prime ideal / Ring / Algebraic variety / Noetherian topological space / Zariski topology / Polynomial ring / Abstract algebra / Algebra / Ring theory

Algebraic Geometry I Fall 2013 Eduard Looijenga Rings are always supposed to possess a unit element 1 and a ring homomorphism will always take unit to unit. We allow that 1 = 0, but in that case we get of course the zer

Add to Reading List

Source URL: www.staff.science.uu.nl

Language: English - Date: 2013-12-26 23:18:31
UPDATE